Automatic fine-grained area detection for thin client systems
نویسندگان
چکیده
منابع مشابه
Automatic fine-grained area detection for thin client systems
The widespread availability of cloud infrastructures is fueling new interest in the thin client computing paradigm. However, current thin client protocols are not designed to handle new content types as often encountered in state-ofthe-art applications (e.g. multimedia editing, gaming, multimedia playback). Conveying this content using traditional thin client protocols typically results in a co...
متن کاملAutomatic Verification for Fine-grained Concurrency
Recent program logics based on separation logic emphasise a modular approach to proving functional correctness for fine-grained concurrent programs. However, these logics have no automation support. In this paper, we present Caper, a prototype tool for automated reasoning in such a logic. Caper is based on symbolic execution, integrating reasoning about interference on shared data and about gho...
متن کاملScheduling Fine-Grained Distributed Simulations in Wide-Area Systems
Computer simulations of engineering and science phenomena have become a commonplace method for problem solving and scientific discovery. However, executing simulation models of sufficient fidelity and complexity to be useful requires a great deal of computational resources both in memory and machine cycles. A great many of these simulation models are well-suited to parallel and distributed exec...
متن کاملAutomatic Fine-Grained Semantic Classification for Domain Adaptation
Assigning arguments of verbs to different semantic classes (‘semantic typing’), or alternatively, checking the ‘selectional restrictions’ of predicates, is a fundamental component of many natural language processing tasks. However, a common experience has been that general purpose semantic classes, such as those encoded in resources like WordNet, or handcrafted subject-specific ontologies, are ...
متن کاملSigBox: Automatic Signature Generation Method for Fine-grained Traffic Identification
The continual appearance of new applications and their frequent updates emphasize the need for automatic signature generation. Although several automatic methods have been proposed, there are still limitations to their adoption in a real network environment in terms of automation, robustness, and elaboration. To address this issue, we propose an automatic signature generation method, so called ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Network and Computer Applications
سال: 2012
ISSN: 1084-8045
DOI: 10.1016/j.jnca.2012.03.007